Intuitionistic common knowledge or belief
نویسندگان
چکیده
Starting off from the usual language of modal logic for multi-agent systems dealing with the agents’ knowledge/belief and common knowledge/belief we define so-called epistemic Kripke structures for intuitionistic (common) knowledge/belief. Then we introduce corresponding deductive systems and show that they are sound and complete with respect to these semantics.
منابع مشابه
Reasoning about proof and knowledge
In previous work [Lewitzka, 2017], we presented a hierarchy of classical modal logics, along with algebraic semantics, for the reasoning about intuitionistic truth (i.e. proof), belief and knowledge. Interpreting as a proof predicate, the systems also express properties of intuitionistic belief and knowledge established in [Artemov and Protopopescu, 2016] where epistemic principles are in line ...
متن کاملBelief and Plausibility Functions on Intuitionistic Fuzzy Sets
Belief and plausibility functions based on Dempster–Shafer theory have been used to measure uncertainty. They are also widely studied and applied in diverse areas. Numerous studies in the literature have presented various generalizations of belief and plausibility functions to fuzzy sets. However, there are still less generalizations of belief and plausibility functions to intuitionistic fuzzy ...
متن کاملBelief functions on general intuitionistic fuzzy information systems
This paper studies probability problems of intuitionistic fuzzy sets and the belief structure of general intuitionistic fuzzy information systems. First, for some special intuitionistic fuzzy sets, a probability is defined by using the integral operations on the level sets, and its properties are discussed. Then using this probability, a mass function of an intuitionistic fuzzy information syst...
متن کاملIntuitive Reasoning with Pseudo-Intuitionistic Semantics
Different solutions are provided to represent uncertainty. This article explores uncertainty in a quite unusual way. It develops a theory combining Belief Functions [9] and pseudo-intuitionistic logic [10]. Until today, the use of Belief functions in Kripke-like semantics has not been exploited. Moreover, pseudo-intuitionistic logic, by weakening the deduction mechanism, offers an ideal framewo...
متن کاملBilattices, Intuitionism and Truth-knowledge Duality: Concepts and Foundations
We propose a family of intuitionistic bilattices with full truth-knowledge duality (D-bilattices) for a logic programming. The first family of perfect D-bilattices is composed by Boolean algebras with even number of atoms: the simplest of them, based on intuitionistic truth-functionally complete extension of Belnap’s 4-valued bilattice, can be used in paraconsistent programming, that is, for kn...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Applied Logic
دوره 18 شماره
صفحات -
تاریخ انتشار 2016